reduction formula proof